package com.googlecode.kipler.satisfiability.completion.rule.individual.uniformnotation;

import com.googlecode.kipler.syntax.concept.Concept;

public interface AlphaConcept {
	void setAlpha(Concept con);
	Concept getAlpha1();
	Concept getAlpha2();
	boolean isValid();
}
